软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

空间区域划分的战场空间建模

复杂作战交互所具有的区域性特征,对作战仿真系统战场空间建模提出了新的要求.首先阐述了基于空间区域划分的战场空间模型的实现思想、概述了模型实现方法,并给出了模型的形式化描述;然后,就基于空间区域划分的战场空间模型对于区域性复杂作战交互建模的支持进行了简单探讨;最后,通过一个简单的实例,分析了基于空间划分的战场空间模型对于作战仿真系统运行性能的影响.     

鱼雷作战效能分析

从工程实际出发,结合鱼雷作战效能的动态性,综合考虑发射装置对鱼雷作战效能的影响,在鱼雷作战效能模型中引入发射装置的影响因素,同时对传统鱼雷寿命剖面进行了重新划分,首次把鱼雷在发射平台的装载阶段归入鱼雷的任务剖面,充分考虑鱼雷在整个寿命剖面内储存可靠性、装载可靠性和实航可靠性的时序性,则实航可靠性与储存可靠性、装载可靠性存在一定的关系,应用传统WSEIAC效能模型对鱼雷作战效能进行分析计算.     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。     

基于集群技术的实时测控数据处理系统设计

为使实时测控系统满足未来多元化任务实时数据处理需求,设计了一个基于集群技术的实时测控数据处理系统。为解决集群系统的强实时性和高可用性问题,结合实时数据处理系统的特点,研究了实时集群体系结构、粒度划分和负载均衡方法。采用冗余部件、异常处理和向前恢复机制,消除了系统中的单一故障点;实现任务级粒度划分,优化了控制体系结构;采用基于任务分配表的动态负载均衡和人机交互管理相结合的方法,有效地解决了任务分配和故障迁移的实时性问题,提高了系统的可用性。     

关于国防动员经费保障的规定

国防动员经费,是国家用于国防动员活动的专项支出,是国防动员财力保障的重要来源。国防动员法对国防动员经费保障做出了规定。一、国防动员经费的保障主体国家是国防动员所需经费的保障主体。国防动员活动是一     

关于世界战争史阶段划分问题的探讨

本文以唯物辩证法和唯物史观为指导,探讨了世界战争史阶段划分问题,提出了全面、科学的划分标准;得出了意大利战争是世界近代战争的开端,第一次世界大战是世界现代战争的开端之结论。     

预备役部队与现役部队挂钩训练应解决的几个重点问题

积极开展预备役部队与现役部队挂钩训练,是解决预备役部队因装备、场地、人才等因素限制而造成的训练落实难、层次低等问题的有效形式,是缩小预备役部队与现役部队训练差距、提高信息化条件下联合作战能力的有效途径,对于充分做好军事斗争准备,确保实现“打赢”目标,具有十分重要的意义。当前,提高预备役部队与现役部队挂钩训练的质量和效益,应注意把握好以下几个方面的问题。一、提高思想认识,解决好“能够挂”的问题预备役部队是我军的重要组成部分,是打赢未来高技术局部战争的一支重要力量。随着我军预备役部队体制编制的合理调整、武器…     

军事科学学科体系的二维划分

军事科学体系是一个开放和不断发展的体系,长期以来,国内学术界对于军事科学学科体系的认识要么是按照研究对象来划分,要么是按照知识在学科领域的作用层次来划分。本文在分析现有学科体系划分方法的基础上,提出了把二者有机结合起来的二维划分方法,即按照研究对象维和知识作用层次维来对军事科学学科体系进行划分,以期实现两种截然不同方法的统一。     

基于混合高斯概率密度的加权打分方法

针对当前评比打分方法不能有效反映选手真实情况的问题,提出了一种基于混合高斯概率密度的加权打分方法。该方法的重点在于引入混合高斯分布来确定专家评分的权重。首先利用EM算法确定混合高斯分布模型参数,然后通过区间划分得到每个区间上的概率,再将专家打分映射到混合高斯概率密度函数区间上得到对应的权重,最后经加权求和得到选手的最终成绩。通过实例证明了该方法的合理性和公正性。